La logique interlocutoire. Un programme pour l’étude empirique des jeux de dialogue

La mise-à-jour des croyances pour des fragments de la logique propositionnelle

Recently, belief change within the framework of fragments of propositional logic has gained attention. Previous works focused on belief contraction and belief revision mainly on the Horn fragment. However, the problem of belief update within the framework of fragments of propositional logic has been neglected so far. This paper presents a general approach to define new update operators derived ...

Un modèle de dialogue pour la conception de légendes cartographiques

The abundance of cartographic tools on the Web allows users to become mapmakers. But the use of the cartographic language requires a specific expertise in order to make an efficient map that effectively conveys the message intended by the maker. The research work presented in this article focuses on the help to design efficient and innovative maps. First, we propose some methods to make legends...

Formalisme DELTA : un outil de description logique pour la synthèse automatique dans la conception des machines séquentielles synchrones

Sur la Vérification de la Satisfaction pour la Logique des Différences

In this thesis, we develop a mixed SAT solver for differencelogic (DL) to carry out bounded model checking for timed systems. We defineDL as an extension of propositional Boolean logic with difference constraintsof the form (x-y¡c). We present algorithms to convert formulae in this logic tothe mixed conjunctive normal form, which is appropriate for solving purposes.We examin...

Approche logique pour la réconciliation de références

Résumé. Le problème de réconciliation de références consiste à décider si deux descriptions provenant de sources distinctes réfèrent ou non à la même entité du monde réel. Dans cet article, nous étudions ce problème quand le schéma des données est décrit en RDFS étendu par certaines primitives de OWL-DL. Nous décrivons et montrons l’intérêt d’une approche logique basée sur des règles de réconci...